Thực đơn
Phép_đồng_cấu Định nghĩaPhép đồng cấu là một ánh xạ giữa hai cấu trúc đại số cùng loại, bảo toàn các phép toán của cấu trúc. Điều này có nghĩa là một ánh xạ f : A → B {\displaystyle f:A\to B} giữa hai tập A {\displaystyle A} , B {\displaystyle B} được trang bị cùng một cấu trúc thoả mãn, nếu ⋅ {\displaystyle \cdot } là một phép toán của cấu trúc (để đơn giản hóa, ta giả sử nó là một phép toán hai ngôi), khi đó
f ( x ⋅ y ) = f ( x ) ⋅ f ( y ) {\displaystyle f(x\cdot y)=f(x)\cdot f(y)}cho mọi cặp x {\displaystyle x} , y {\displaystyle y} trong các phần tử của A {\displaystyle A} .[note 1] Ta thường nói rằng f {\displaystyle f} bảo toàn phép toán hoặc tương thích với phép toán.
Về mặt hình thức, một ánh xạ f : A → B {\displaystyle f:A\to B} bảo tồn phép toán μ {\displaystyle \mu } của ngôi k, được xác định trên cả hai A {\displaystyle A} và B {\displaystyle B} nếu
f ( μ A ( a 1 , … , a k ) ) = μ B ( f ( a 1 ) , … , f ( a k ) ) , {\displaystyle f(\mu _{A}(a_{1},\ldots ,a_{k}))=\mu _{B}(f(a_{1}),\ldots ,f(a_{k})),}với mọi a 1 , . . . , a k {\displaystyle a_{1},...,a_{k}} trong A {\displaystyle A} .
Các phép toán phải được bảo toàn bởi phép đồng cấu bao gồm các phép toán 0-ary, đó là các hằng số. Đặc biệt, khi cấu trúc yêu cầu phải bao gồm một phần tử đơn vị, phần tử đơn vị của cấu trúc đầu tiên phải được ánh xạ tới phần tử đơn vị tương ứng của cấu trúc thứ hai.
Thực đơn
Phép_đồng_cấu Định nghĩaLiên quan
Phép cộng Phép biến đổi Laplace Phép nhân Phép toán thao tác bit Phép chia Phép màu đã cho ta gặp nhau Phép toán modulo Phép hợp Phép thuật (phim truyền hình) Phép trừTài liệu tham khảo
WikiPedia: Phép_đồng_cấu http://www.math.uwaterloo.ca/~snburris/htdocs/UALG... //doi.org/10.1007%2FBF01443421 //doi.org/10.1007%2FBF01443449 //www.worldcat.org/oclc/29857037 https://archive.org/details/vorlesungenber01fricuo... https://babel.hathitrust.org/cgi/pt?id=hvd.3204410... https://babel.hathitrust.org/cgi/pt?id=hvd.3204410... https://babel.hathitrust.org/cgi/pt?id=hvd.3204410... https://babel.hathitrust.org/cgi/pt?id=hvd.3204410... https://api.semanticscholar.org/CorpusID:120022176